181. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
182. Progress in Electron Properties of Solids :
پدیدآورنده : edited by E. Doni, R. Girlanda, G. Pastori Parravicini, A. Quattropani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical organic chemistry.,Physics.
183. Quantum field theory in a nutshell /
پدیدآورنده : A. Zee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum field theory
رده :
QC174
.
45
.
Z44
2010
184. Quantum theory and symmetries with lie theory and its applications in physics :
پدیدآورنده : Vladimir Dobrev, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum theory, Congresses.,Symmetry (Physics), Congresses.,Quantum theory.,Symmetry (Physics)
رده :
QC173
.
96
.
I58
2017
185. Random Matrices and Iterated Random Function
پدیدآورنده : / edited by Gerold Alsmeyer, Matthias L?╢we
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Functional analysis,Distribution (Probability theory),Electronic books
رده :
E-BOOK
186. Real analysis and probability
پدیدآورنده : / R.M. Dudley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematical analysis,Functions of real variables,Probabilities
رده :
E-BOOK
187. Recursion-Theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
1978
188. Recursion - Theoretic hierarchies
پدیدآورنده : / Peter G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursion theory - Hierarchies
رده :
511
.
3
H664
189. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory-- Hierarchies
رده :
QA
9
.
62
.
H56
1978
190. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
191. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
192. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
193. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
194. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
195. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
196. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, peter G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Hierachies
رده :
QA
9
.
62
.
H56
197. Recursion theory
پدیدآورنده : Shoenfield, Joseph R.)Joseph Robert(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
198. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert, 7291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
1
199. Recursion theory
پدیدآورنده : edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
200. Recursion theory
پدیدآورنده : / Joseph R. Shoenfield
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory
رده :
QA9
.
6
.
S48
2001
